\begin{tabbing}
$\forall$${\it ds}$:fpf(Id; $x$.Type), ${\it da}$:fpf(Knd; $k$.Type), $l$:($\mathbb{N}$ List), $A$:ecl{-}trans{-}tuple\=\{i:l\}\+
\\[0ex](${\it ds}$; ${\it da}$).
\-\\[0ex]ecl{-}add{-}catch($A$; $l$) $\in$ ecl{-}trans{-}tuple\{i:l\}(${\it ds}$; ${\it da}$)
\end{tabbing}